Kleene Algebra to Compute Invariant Sets of Dynamical Systems

SOME ERGODIC PROPERTIES OF HYPER MV {ALGEBRA DYNAMICAL SYSTEMS

This paper provides a review on major ergodic features of semi-independent hyper MV {algebra dynamical systems. Theorems are presentedto make contribution to calculate the entropy. Particularly, it is proved that thetotal entropy of those semi-independent hyper MV {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

A Geometric Approach to Invariant Sets for Dynamical Systems

In this article, we present a geometric framework to study invariant sets of dynamical systems associated with differential equations. This framework is based on properties of invariant sets for an area functional. We obtain existence results for heteroclinic and periodic orbits. We also implement this approach numerically by means of the steepest descent method.

Introduction to Kleene Algebra

Introduction to Kleene Algebra

Synchronous Kleene Algebra vs. Concurrent Kleene Algebra

In this year’s CONCUR conference Concurrent Kleene Algebra (CKA) is presented as a general formalism for reasoning about concurrent programs. Also recently Synchronous Kleene Algebra (SKA) was investigated by this author with the purpose of representing and reasoning about actions/programs that have a notion of concurrency in the style of synchrony of the SCCS calculus. CKA has, at first sight,...